hol|i|but
Look at other dictionaries:
HOL theorem prover family — HOL (Higher Order Logic) denotes a family of interactive theorem proving systems sharingsimilar logics and implementation strategies. Systems in this family follow the LCF approach as they are implemented as a library in some programming language … Wikipedia
but´ton|hol´er — but|ton|hole «BUHT uhn HOHL», noun, verb, holed, hol|ing. –n. 1. a hole, slit, or loop through which a button is passed, especially to fasten clothing. 2. British Informal. a boutonniere. –v.t. 1. to make buttonholes in. 2. to sew with the stitch … Useful english dictionary
but|ton|hole — «BUHT uhn HOHL», noun, verb, holed, hol|ing. –n. 1. a hole, slit, or loop through which a button is passed, especially to fasten clothing. 2. British Informal. a boutonniere. –v.t. 1. to make buttonholes in. 2. to sew with the stitch used in… … Useful english dictionary
Hol Chan Marine Reserve — Infobox protected area | name = Hol Chan Marine Reserve iucn category = IV caption = Corals lining the Hol Chan Cut base width = 288px locator x = locator y = location = Gulf of Honduras nearest city = San Pedro Town lat degrees = lat minutes =… … Wikipedia
Hol (role-playing game) — Infobox RPG title= HoL: Human Occupied Landfill caption= designer= Todd Shaughnessy, Daniel Thron, Chris Elliott publisher= Black Dog Game Factory date= 1994 (1st edition) September 1, 2002 (2nd edition) genre= Science fiction, comedy system=… … Wikipedia
Hol’s der Teufel — Alexander Schleicher GmbH Co Alexander Schleicher GmbH Co Création 1927 Personnages clés Rudo … Wikipédia en Français
Hol-Tan — The Hol Tan was an American automobile manufactured in 1908. The automobile was built by the Moon Motor Company of St. Louis, MO. Moon s C and D model were shipped to the Hollander Tangman company of New York, NY, who had been importers of Fiat… … Wikipedia
ḥol ha-moʿed — ▪ Judaism also spelled hol hamoed , or chol hamoed (from Hebrew ḥol, “weekday,” ha moʿed, “[of] the festival”) in Judaism, the less festive days or semiholidays that occur between the initial and final days of the Passover (Pesaḥ) and… … Universalium
Jon Hol — Illustration from Verdens Gang, 1884. Born 1 September 1851(1851 09 01) Nord Odal Died 1941, before 16 May (aged 89) … Wikipedia
Hawkman (Katar Hol) — Katar Hol is a DC Comics superhero, the Silver Age Hawkman. Created by Gardner Fox and Joe Kubert, he first appeared in The Brave and the Bold # 34 (Feb Mar 1961).Superherobox| caption=Cover to Hawkman (vol. 3) # 0. Art by Lee Weeks. character… … Wikipedia
